翻訳と辞書 Words near each other ・ Non-Commissioned Officer in Charge ・ Non-Commissioned Officer Professional Development Ribbon ・ Non-communicable disease ・ Non-communications signals ・ Non-commutative conditional expectation ・ Non-commutative cryptography ・ Non-compact stencil ・ Non-compete clause ・ Non-competitive antagonist ・ Non-competitive inhibition ・ Non-configurational language ・ Non-conforming loan ・ Non-conforming mortgage ・ Non-conformists of the 1930s ・ Non-constituency Member of Parliament ・ Non-constructive algorithm existence proofs ・ Non-consultant hospital doctor ・ Non-contact atomic force microscopy ・ Non-contact force ・ Non-contact thermography ・ Non-contact ultrasound ・ Non-contact wafer testing ・ Non-conventional trademark ・ Non-convergent discourse ・ Non-convexity (economics) ・ Non-cooperation movement ・ Non-cooperative game ・ Non-coordinating anion ・ Non-corporate credit ・ Non-covalent interactions Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Non-constructive algorithm existence proofs ： ウィキペディア英語版 Non-constructive algorithm existence proofs The vast majority of positive results about computational problems are constructive proofs, i.e., a computational problem is proved to be solvable by showing an algorithm that solves it; a computational problem is shown to be in P (complexity) by showing an algorithm that solves it in time that is polynomial in the size of the input; etc. However, there are several non-constructive results, where an algorithm is proved to exist without showing the algorithm itself. Several techniques are used to provide such existence proofs. == Using an unknown finite set == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Non-constructive algorithm existence proofs」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.